Repairing Programs With Semantic Code Search是发表在ASE'15上的论文。本文提出一种方法可以通过语义相似性从已有代码库中找到正确的代码替代原有项目中的问题代码。 - 解决的问题：自动化修补源码当中的问题代码 - 背景：人工寻找和修补代码成本高；有大量的开源项目代码可以重用 - 方法：通过语义相似性从已有代码库中找到正确的代码替代原有项目中的问

Are These Ads Safe: Detecting Hidden Attacks Through the Mobile App-Web Interface是发表在国际会议NDSS'16上的论文。这篇文章主要针对从APP里引出到web（所谓的App-Web）的虚假和欺诈广告问题做出检测和现状调查说明。 主要针对从APP里引出到web（所谓的App-Web）的虚假和欺诈广告问题，做出检测

ALETHEIA: Improving the Usability of Static Security Analysis是发表在国际会议CCS'14上的论文。本文作者根据用户的决策，结合有监督学习，提出一种改进静态分析结果的一般性方法。 #Abstract - 静态分析efficient and scalable - 但是存在误报，影响了可用性 - 提出改进静态分析结果的一般

Firmalice - Automatic Detection of Authentication Bypass Vulnerabilities in Binary Firmware是发表在国际会议NDSS'15上的论文。本文主要对智能电表、智能门锁、智能开关等智能家居设备中的认证绕过和后门等问题进行了研究。 - 物联网(Internet of Things)发展迅速。智能电表，智能门锁，智

Hidden Truths in Dead Software Paths是发表在国际会议FSE'15上的论文。作者做了个死代码检测工具，检测出了JDK 1.8.0_25中大量的死代码，对这些死代码进行了详细的讨论。

Towards Automatic Inference of Kernel Object Semantics From Binary Code是发表在国际会议RAID'15上的论文。本文提出了第一个直接从内核二进制自动化获取内核对象语义的系统并介绍相关方法。 #Abstract && Introduction - 理解内核对象语义是很有意义的，比如可以帮助识别内核函数，这对于VM In